Acronym : QUASIMODO Deliverable no . : D 1 . 1 Title of Deliverable : Modelling Quantitative System Aspects
نویسندگان
چکیده
This deliverable describes the results of the QUASIMODO project on modelling quantitative system aspects. Keyword list: AADL, Arcade, architectural dependability evaluation, cost-bounded reachability, priced priced/weighted timed automata, probabilistic timed automata, probabilistic timed automata, probabilistic hybrid systems. ICT-FP7-STREP-214755 / QUASIMODO Page 2 of 12 Public
منابع مشابه
Project Acronym : QUASIMODO Deliverable no . : D 2 . 1 Title of Deliverable : Model - checking of real - time probabilistic models
This deliverable describes the first year results of the QUASIMODO project on analysing quantitative systems. Keyword list: Markov chain, Markov decision process, probabilistic bisimulation, probabilistic simulations; probabilistic timed automata; priced probabilistic timed automata; Continuous Time Markov Chains, inhomogeneous CTMC, Infinite state CTMC, counter-example guided abstractionrefine...
متن کاملAcronym : PACO - PLUS Deliverable no . : D 3 . 1 . 4 Title of the deliverable : Advances of human upper body and human grasp action representation
This report contains a single scientific publication that is relevant for the deliverable D3.1.4. This deliverable is concerned with deriving a representation of action on a higher abstraction level. The enclosed summary outlines the context of this work. Keyword list: action and grasp recognition, computer vision, robotics, AI, stochastic grammars
متن کاملT 1 . 2 Deliverable : D 1 . 2 a Title : D 1 . 2 a - Report on compact electromagnetic modelling of RF integrated structures
3
متن کاملAcronym : MEALS Deliverable no . : 1 . 3 / 2 Title of Deliverable : Probabilistic Bisimulation for Realistic Schedulers
Weak distribution bisimilarity is an equivalence notion on probabilistic automata, originally proposed for Markov automata. It has gained some popularity as the coarsest behavioral equivalence enjoying valuable properties like preservation of trace distribution equivalence and compositionality. This holds in the classical context of arbitrary schedulers, but it has been argued that this class o...
متن کاملDeliverable No: D.WP.JRA.6.3.6 Deliverable title: Quantitative Assessment of Security
We apologize for the fact that due to some unforeseen manpower shortage at Partner 32, the conclusion of this deliverable has been significantly delayed.
متن کامل